// RUN: llvm-mc -triple x86_64 --show-encoding %s | FileCheck %s

// CHECK: cmpnbxadd  %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe3,0x0d,0x00,0x00,0x00,0x00]
          cmpaexadd  %eax, %ecx, (%rip)

// CHECK: cmpzxadd  %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe4,0x0d,0x00,0x00,0x00,0x00]
          cmpexadd  %eax, %ecx, (%rip)

// CHECK: cmpnzxadd  %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe5,0x0d,0x00,0x00,0x00,0x00]
          cmpnexadd  %eax, %ecx, (%rip)

// CHECK: cmpnbexadd  %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe7,0x0d,0x00,0x00,0x00,0x00]
          cmpaxadd  %eax, %ecx, (%rip)

// CHECK: cmpnlxadd  %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xed,0x0d,0x00,0x00,0x00,0x00]
          cmpgexadd  %eax, %ecx, (%rip)

// CHECK: cmpnlexadd  %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xef,0x0d,0x00,0x00,0x00,0x00]
          cmpgxadd  %eax, %ecx, (%rip)

